Axiomatizing Consciousness with Applications
نویسندگان
چکیده
Consciousness will be introduced axiomatically, inspired by classical Buddhist insight meditation and psychology, computer science, cognitive neuroscience, as belonging to agents that observe act, in the form of a stream configurations is compound, discrete, probabilistic-computable. Within axiomatic context notions self, concentration, mindfulness, various forms suffering can defined. As an application this setup, it shown how combined development concentration mindfulness attenuate eventually eradicate some major suffering. The main message paper advanced consists knowledge state agent finds itself used defuse mental/behavioral scenarios. From science point view trivial being position access modify powerful enables greater flexibility. This attempt bridge gap between psychology. other explanatory hard problem (How do physics consciousness relate?) not discussed paper, but quite possibly extension it.
منابع مشابه
Axiomatizing GSOS with Predicates
In this paper, we introduce an extension of the GSOS rule format with predicates such as termination, convergence and divergence. For this format we generalize the technique proposed by Aceto, Bloom and Vaandrager for the automatic generation of ground-complete axiomatizations of bisimilarity over GSOS systems. Our procedure is implemented in a tool that receives SOS specifications as input and...
متن کاملAxiomatizing GSOS with Termination
We discuss a combination of GSOS-type structural operational semantics with explicit termination, that we call the tagh-format (tagh being short for termination and GSOS hybrid). The tagh-format distinguishes between transition and termination rules, but allows besides active and negative premises as in GSOS,. also for, what is called terminating and passive arguments. We extend the result of A...
متن کاملAxiomatizing Prefix Iteration with Silent Steps
Prefix iteration is a variation on the original binary version of the Kleene star operation P Q, obtained by restricting the first argument to be an atomic action. The interaction of prefix iteration with silent steps is studied in the setting of Milner’s basic CCS. Complete equational axiomatizations are given for four notions of behavioural congruence over basic CCS with prefix iteration, viz...
متن کاملAxiomatizing Rationality
We provide a sound and complete axiomatization for a class of logics appropriate for reasoning about the rationality of players in games. Essentially the same axiomatization applies to a wide class of decision rules.
متن کاملAxiomatizing geometric constructions
In this survey paper, we present several results linking quantifier-free axiomatizations of various Euclidean and hyperbolic geometries in languages without relation symbols to geometric constructibility theorems. Several fragments of Euclidean and hyperbolic geometries turn out to be naturally occurring only when we ask for the universal theory of the standard plane (Euclidean or hyperbolic), ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Lecture Notes in Computer Science
سال: 2022
ISSN: ['1611-3349', '0302-9743']
DOI: https://doi.org/10.1007/978-3-031-15629-8_3